Translational Backus–Naur form